// ;function init_log(){
//     console.oldLog = console.log;
//     console.log = function(...msgs) {
//         console.oldLog(...msgs);
//         let msg = "";
//         for (i=0; i < msgs.length; i++){
//             msg += msgs[i] + " ";
//         }
//         let json_v = JSON.stringify({
//             tp: "[[CONSOLE-MSG-FROM-APP]]",
//             id: "[[CONSOLE-MSG-FROM-APP]]",
//             content:msg
//         });
//         window.external.invoke(json_v);
//     };
// };
// init_log();
